Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
761	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
762	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-05-27 20:54:37 Finite-state machine Channel Computer science Automata theory Theoretical computer science Models of computation
763	lNTRODUCTlON TO THE LGP-PI GENERAL 1 Add to Reading List Source URL: ed-thelen.org Language: English - Date: 2008-07-23 04:19:34 Computing Accumulator Models of computation Processor register Computer memory Missile guidance LGP-30 Minicomputers D-37C Computer hardware Central processing unit Computer architecture
764	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 2 This assignment starts on Mon, [removed]and is due on Sun, [removed], 23:59h. We will accept Isabelle .thy files only. Submit using give on a CSE Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Models of computation Map Lambda calculus Type system Software engineering Computing Theoretical computer science
765	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
766	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
767	When Training and Test Sets are Different: Characterising Learning Transfer Amos J Storkey Institute of Adaptive and Neural Computation School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-03-08 04:44:56 Machine learning Regression analysis Actuarial science Generative model Naive Bayes classifier Supervised learning Conditional probability distribution Instrumental variable Linear regression Statistics Statistical models Econometrics
768	LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper Ryan R. Newton Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 16:11:31 Mathematical logic Theoretical computer science Determinism Lattice Parallel computing Kahn process networks Applied mathematics Geometry Mathematics Models of computation Algorithm
769	CHI95UpdatedFontForProperPagination.FMD.fm Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:42:08 Models of computation User interface management systems Computer animation ALGOL 68 Algorithm Finite-state machine Actor model Postcondition Parallel computing Computing Software engineering Computer programming
770	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics

UPDATE